#include <stdio.h>

#include "val.h"

int main() { printf("%d\n", variable); }
